The Logical Difference for EL: From Terminologies Towards TBoxes
نویسندگان
چکیده
In this paper we are concerned with the logical difference problem between ontologies. The logical difference is the set of subsumption queries that follow from a first ontology but not from a second one. We revisit our solution to logical difference problem for EL-terminologies based on finding simulations between hypergraph representations of the terminologies, and we investigate a possible extension of the method to general EL-TBoxes.
منابع مشابه
Foundations for the Logical Difference of EL-TBoxes
We investigate the logical difference problem between general EL-TBoxes. The logical difference is the set of concept subsumptions that are logically entailed by a first TBox but not by a second one. We show how the logical difference between two EL-TBoxes can be reduced to fixpoint reasoning w.r.t. EL-TBoxes. Entailments of the first TBox can be represented by subsumptions of least fixpoint co...
متن کاملDeciding the logical difference problem for EL with role inclusions
We consider the logical difference problem for terminologies that are formulated in the lightweight description logic EL with role inclusions for role hierarchies, transitivity, and right-identity. The main result is that deciding whether two terminologies are logically different wrt. a signature can be done in ExpTime, thus it is more difficult than the subsumption problem for this logic but n...
متن کاملOptimization and Implementation of Subsumption Algorithms for the Description Logic El with Cyclic Tboxes and General Concept Inclusion Axioms
The subsumption problem in the description logic (DL) EL has been shown to be polynomial regardless of whether cyclic or acyclic TBoxes are used. Recently, it was shown that the problem remains tractable even when admitting general concept inclusion (GCI) axioms. Motivated by its nice complexity and sufficient expressiveness for some applications, we propose three decision procedures for comput...
متن کاملNon-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning services which we designed and implemented to pinpoint logical contradictions when developing the medical terminology DICE. We provide complete algorithms for unfoldable ACC-TBoxes based on minimisation of axioms using Bo...
متن کاملThe Logical Difference Problem for Description Logic Terminologies
We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we present a tractable algorithm which, given two terminologies and a signature, outputs a set of concepts, which can be regarded as the logical difference between the two terminologies. As a consequence, the algorithm can also decid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015